[next] [prev] [prev-tail] [tail] [up]

2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 37 42 35 43 62 0 44 111

N.S.

1 0.79 0.89 0.74 0.91 1.32 0.00 0.94 2.36

time (sec)

N/A 0.261 0.014 0.145 0.182 0.285 0.000 0.304 9.167

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 20 19 41 56 0 41 41

N.S.

1 1.00 0.67 0.63 1.37 1.87 0.00 1.37 1.37

time (sec)

N/A 0.233 0.022 0.126 0.190 0.334 0.000 0.310 9.052

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 55 40 43 57 0 43 43

N.S.

1 0.96 1.00 0.73 0.78 1.04 0.00 0.78 0.78

time (sec)

N/A 0.258 0.021 0.141 0.185 0.260 0.000 0.319 9.110

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 55 40 43 65 0 43 43

N.S.

1 0.96 1.00 0.73 0.78 1.18 0.00 0.78 0.78

time (sec)

N/A 0.256 0.023 0.196 0.200 0.263 0.000 0.318 9.222

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 53 55 40 43 70 0 43 43

N.S.

1 0.96 1.00 0.73 0.78 1.27 0.00 0.78 0.78

time (sec)

N/A 0.251 0.023 0.206 0.183 0.310 0.000 0.361 9.209

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 80 58 58 98 80 58 57

N.S.

1 0.93 1.10 0.79 0.79 1.34 1.10 0.79 0.78

time (sec)

N/A 0.261 0.221 0.264 0.182 0.286 0.444 0.362 0.076

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 70 58 58 85 82 58 57

N.S.

1 0.93 0.96 0.79 0.79 1.16 1.12 0.79 0.78

time (sec)

N/A 0.266 0.161 0.204 0.189 0.296 0.326 0.333 0.071

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 41 30 57 58 71 76 58 56

N.S.

1 0.91 0.67 1.27 1.29 1.58 1.69 1.29 1.24

time (sec)

N/A 0.233 0.091 0.144 0.195 0.342 0.219 0.341 0.070

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 59 65 47 55 59 0 56 102

N.S.

1 0.91 1.00 0.72 0.85 0.91 0.00 0.86 1.57

time (sec)

N/A 0.221 0.023 0.550 0.197 0.274 0.000 0.327 9.877

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 57 62 45 54 78 0 55 156

N.S.

1 0.92 1.00 0.73 0.87 1.26 0.00 0.89 2.52

time (sec)

N/A 0.250 0.023 0.151 0.193 0.297 0.000 0.344 9.338

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 50 53 47 54 77 0 55 163

N.S.

1 0.82 0.87 0.77 0.89 1.26 0.00 0.90 2.67

time (sec)

N/A 0.262 0.016 0.145 0.198 0.324 0.000 0.325 9.369

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 49 57 45 58 91 0 59 147

N.S.

1 0.75 0.88 0.69 0.89 1.40 0.00 0.91 2.26

time (sec)

N/A 0.266 0.016 0.161 0.201 0.271 0.000 0.333 9.383

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 20 19 54 72 0 54 54

N.S.

1 1.00 0.67 0.63 1.80 2.40 0.00 1.80 1.80

time (sec)

N/A 0.231 0.017 0.160 0.195 0.251 0.000 0.332 9.305

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 62 71 48 56 81 0 56 56

N.S.

1 1.02 1.16 0.79 0.92 1.33 0.00 0.92 0.92

time (sec)

N/A 0.242 0.024 0.198 0.199 0.260 0.000 0.365 9.863

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 73 50 56 86 0 56 56

N.S.

1 0.93 1.00 0.68 0.77 1.18 0.00 0.77 0.77

time (sec)

N/A 0.257 0.024 0.218 0.200 0.270 0.000 0.363 9.249

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 68 73 50 56 93 0 56 56

N.S.

1 0.93 1.00 0.68 0.77 1.27 0.00 0.77 0.77

time (sec)

N/A 0.265 0.023 0.262 0.198 0.259 0.000 0.355 9.295

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 83 100 71 71 124 97 71 70

N.S.

1 0.91 1.10 0.78 0.78 1.36 1.07 0.78 0.77

time (sec)

N/A 0.275 0.504 0.408 0.192 0.262 0.909 0.374 9.474

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 80 90 70 71 111 95 71 69

N.S.

1 0.91 1.02 0.80 0.81 1.26 1.08 0.81 0.78

time (sec)

N/A 0.273 0.308 0.340 0.196 0.270 0.649 0.345 9.280

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 60 80 70 71 97 95 71 69

N.S.

1 0.90 1.19 1.04 1.06 1.45 1.42 1.06 1.03

time (sec)

N/A 0.268 0.160 0.268 0.210 0.334 0.459 0.362 9.160

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 41 30 71 71 85 97 71 70

N.S.

1 0.91 0.67 1.58 1.58 1.89 2.16 1.58 1.56

time (sec)

N/A 0.240 0.068 0.225 0.194 0.264 0.323 0.333 9.072

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 72 81 57 68 72 0 69 118

N.S.

1 0.89 1.00 0.70 0.84 0.89 0.00 0.85 1.46

time (sec)

N/A 0.231 0.026 1.734 0.202 0.278 0.000 0.334 9.313

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 70 78 55 67 91 0 68 235

N.S.

1 0.90 1.00 0.71 0.86 1.17 0.00 0.87 3.01

time (sec)

N/A 0.257 0.027 0.240 0.205 0.327 0.000 0.345 9.215

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 74 67 57 66 98 0 67 207

N.S.

1 0.92 0.84 0.71 0.82 1.22 0.00 0.84 2.59

time (sec)

N/A 0.268 0.021 0.221 0.196 0.281 0.000 0.374 9.535

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 79 60 56 63 58 80 76 68

N.S.

1 0.93 0.71 0.66 0.74 0.68 0.94 0.89 0.80

time (sec)

N/A 0.272 0.098 0.216 0.188 0.266 0.488 0.317 9.548

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 64 50 46 53 48 66 64 56

N.S.

1 0.96 0.75 0.69 0.79 0.72 0.99 0.96 0.84

time (sec)

N/A 0.269 0.076 0.154 0.199 0.287 0.386 0.301 0.062

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

49 49 38 36 41 36 53 45 35

N.S.

1 1.00 0.78 0.73 0.84 0.73 1.08 0.92 0.71

time (sec)

N/A 0.268 0.024 0.105 0.200 0.272 0.319 0.304 0.051

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

31 30 36 26 30 26 37 31 26

N.S.

1 0.97 1.16 0.84 0.97 0.84 1.19 1.00 0.84

time (sec)

N/A 0.237 0.018 0.077 0.196 0.266 0.279 0.294 0.053

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 34 32 18 31 28 0 33 32

N.S.

1 1.06 1.00 0.56 0.97 0.88 0.00 1.03 1.00

time (sec)

N/A 0.207 0.005 0.098 0.196 0.258 0.000 0.307 9.431

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 46 27 43 51 0 45 55

N.S.

1 1.00 1.00 0.59 0.93 1.11 0.00 0.98 1.20

time (sec)

N/A 0.257 0.026 0.105 0.205 0.274 0.000 0.323 9.226

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

63 62 63 37 55 72 0 57 106

N.S.

1 0.98 1.00 0.59 0.87 1.14 0.00 0.90 1.68

time (sec)

N/A 0.273 0.027 0.128 0.188 0.272 0.000 0.332 9.121

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 78 82 47 65 102 0 67 139

N.S.

1 0.95 1.00 0.57 0.79 1.24 0.00 0.82 1.70

time (sec)

N/A 0.286 0.030 0.161 0.206 0.263 0.000 0.307 9.738

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 80 84 60 70 81 201 107 72

N.S.

1 0.92 0.97 0.69 0.80 0.93 2.31 1.23 0.83

time (sec)

N/A 0.280 0.226 0.332 0.195 0.278 0.794 0.336 0.060

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 66 71 48 59 72 170 90 59

N.S.

1 0.94 1.01 0.69 0.84 1.03 2.43 1.29 0.84

time (sec)

N/A 0.275 0.129 0.256 0.197 0.325 0.594 0.327 9.156

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 47 58 38 47 57 126 70 45

N.S.

1 0.90 1.12 0.73 0.90 1.10 2.42 1.35 0.87

time (sec)

N/A 0.261 0.042 0.202 0.210 0.299 0.474 0.350 0.089

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 33 27 28 34 40 95 56 34

N.S.

1 0.89 0.73 0.76 0.92 1.08 2.57 1.51 0.92

time (sec)

N/A 0.234 0.025 0.138 0.234 0.261 0.421 0.308 9.340

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 50 36 29 46 59 0 45 87

N.S.

1 0.96 0.69 0.56 0.88 1.13 0.00 0.87 1.67

time (sec)

N/A 0.230 0.023 0.387 0.191 0.287 0.000 0.339 9.355

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 64 45 39 68 104 0 69 136

N.S.

1 0.94 0.66 0.57 1.00 1.53 0.00 1.01 2.00

time (sec)

N/A 0.267 0.111 0.222 0.187 0.289 0.000 0.356 9.259

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

85 80 61 49 80 147 0 87 168

N.S.

1 0.94 0.72 0.58 0.94 1.73 0.00 1.02 1.98

time (sec)

N/A 0.284 0.135 0.217 0.188 0.322 0.000 0.319 9.300

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

101 93 98 61 90 195 0 103 202

N.S.

1 0.92 0.97 0.60 0.89 1.93 0.00 1.02 2.00

time (sec)

N/A 0.298 0.655 0.258 0.179 0.278 0.000 0.349 9.716

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 101 106 72 95 117 394 89 108

N.S.

1 0.91 0.95 0.65 0.86 1.05 3.55 0.80 0.97

time (sec)

N/A 0.301 0.486 0.540 0.209 0.273 1.387 0.370 0.138

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 86 93 62 81 107 347 73 91

N.S.

1 0.92 1.00 0.67 0.87 1.15 3.73 0.78 0.98

time (sec)

N/A 0.283 0.307 0.438 0.199 0.314 0.943 0.348 9.292

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 66 70 50 71 95 303 56 59

N.S.

1 0.89 0.95 0.68 0.96 1.28 4.09 0.76 0.80

time (sec)

N/A 0.274 0.172 0.340 0.186 0.277 0.719 0.345 0.081

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 53 51 42 60 75 257 45 44

N.S.

1 0.88 0.85 0.70 1.00 1.25 4.28 0.75 0.73

time (sec)

N/A 0.265 0.048 0.267 0.183 0.262 0.577 0.358 0.061

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 30 33 44 46 99 28 37

N.S.

1 1.00 1.00 1.10 1.47 1.53 3.30 0.93 1.23

time (sec)

N/A 0.215 0.021 0.160 0.183 0.259 0.553 0.335 0.067

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 69 52 43 72 104 0 59 148

N.S.

1 0.93 0.70 0.58 0.97 1.41 0.00 0.80 2.00

time (sec)

N/A 0.238 0.104 1.260 0.287 0.267 0.000 0.336 9.787

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 83 61 51 91 152 0 77 193

N.S.

1 0.92 0.68 0.57 1.01 1.69 0.00 0.86 2.14

time (sec)

N/A 0.276 0.214 0.375 0.201 0.339 0.000 0.345 9.868

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

108 100 71 63 103 196 0 86 227

N.S.

1 0.93 0.66 0.58 0.95 1.81 0.00 0.80 2.10

time (sec)

N/A 0.293 0.390 0.380 0.204 0.280 0.000 0.360 10.269

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

126 115 81 73 113 242 0 97 260

N.S.

1 0.91 0.64 0.58 0.90 1.92 0.00 0.77 2.06

time (sec)

N/A 0.309 1.570 0.598 0.241 0.319 0.000 0.353 10.197

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 105 119 74 105 144 588 84 114

N.S.

1 0.91 1.03 0.64 0.91 1.24 5.07 0.72 0.98

time (sec)

N/A 0.296 0.619 0.545 0.201 0.289 1.849 0.360 10.366

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 83 109 62 94 132 527 66 69

N.S.

1 0.87 1.15 0.65 0.99 1.39 5.55 0.69 0.73

time (sec)

N/A 0.285 0.387 0.542 0.196 0.293 1.245 0.365 0.136

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 72 61 54 83 112 466 55 54

N.S.

1 0.87 0.73 0.65 1.00 1.35 5.61 0.66 0.65

time (sec)

N/A 0.280 0.206 0.415 0.199 0.282 0.852 0.350 0.070

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

30 30 40 33 67 72 192 38 54

N.S.

1 1.00 1.33 1.10 2.23 2.40 6.40 1.27 1.80

time (sec)

N/A 0.239 0.044 0.249 0.233 0.263 0.843 0.333 9.723

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 41 30 33 57 62 129 28 37

N.S.

1 0.89 0.65 0.72 1.24 1.35 2.80 0.61 0.80

time (sec)

N/A 0.237 0.032 0.242 0.210 0.276 0.836 0.333 9.974

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 88 62 55 95 152 0 69 206

N.S.

1 0.91 0.64 0.57 0.98 1.57 0.00 0.71 2.12

time (sec)

N/A 0.258 0.234 3.497 0.201 0.269 0.000 0.352 11.193

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

111 100 73 63 114 201 0 87 251

N.S.

1 0.90 0.66 0.57 1.03 1.81 0.00 0.78 2.26

time (sec)

N/A 0.293 0.645 0.530 0.196 0.287 0.000 0.332 10.133

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 119 85 75 126 242 0 97 286

N.S.

1 0.91 0.65 0.57 0.96 1.85 0.00 0.74 2.18

time (sec)

N/A 0.312 2.215 0.515 0.206 0.283 0.000 0.351 10.755

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A A F B B

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

51 41 48 133 61 86 0 89 43

N.S.

1 0.80 0.94 2.61 1.20 1.69 0.00 1.75 0.84

time (sec)

N/A 0.232 0.136 0.187 0.302 0.282 0.000 0.466 10.582

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 106 80 153 103 302 1833 127 370

N.S.

1 0.93 0.70 1.34 0.90 2.65 16.08 1.11 3.25

time (sec)

N/A 0.321 0.188 3.776 0.201 0.292 3.610 0.505 13.883

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 86 65 122 83 210 1061 101 242

N.S.

1 0.95 0.71 1.34 0.91 2.31 11.66 1.11 2.66

time (sec)

N/A 0.306 0.114 1.992 0.198 0.275 1.944 0.494 12.213

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 66 50 91 63 135 530 75 147

N.S.

1 0.97 0.74 1.34 0.93 1.99 7.79 1.10 2.16

time (sec)

N/A 0.287 0.146 1.385 0.194 0.265 1.066 0.586 11.259

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 46 38 55 39 62 190 45 67

N.S.

1 1.12 0.93 1.34 0.95 1.51 4.63 1.10 1.63

time (sec)

N/A 0.244 0.382 0.989 0.195 0.261 0.606 0.315 10.360

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.247 0.030 0.000 0.000 0.000 0.000 0.000 0.000

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.245 0.024 0.000 0.000 0.000 0.000 0.000 0.000

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.245 0.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

38 38 38 0 0 0 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.249 0.026 0.000 0.000 0.000 0.000 0.000 0.000

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 113 71 76 65 73 192 92 226

N.S.

1 1.08 0.68 0.72 0.62 0.70 1.83 0.88 2.15

time (sec)

N/A 0.546 0.154 0.267 0.210 0.272 0.340 0.347 13.558

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

81 85 54 54 52 62 144 62 198

N.S.

1 1.05 0.67 0.67 0.64 0.77 1.78 0.77 2.44

time (sec)

N/A 0.438 0.136 0.185 0.206 0.261 0.228 0.324 12.922

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

65 70 42 43 39 51 119 47 198

N.S.

1 1.08 0.65 0.66 0.60 0.78 1.83 0.72 3.05

time (sec)

N/A 0.378 0.065 0.149 0.211 0.276 0.164 0.312 13.340

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 50 74 42 57 60 0 87 160

N.S.

1 0.98 1.45 0.82 1.12 1.18 0.00 1.71 3.14

time (sec)

N/A 0.305 0.048 0.144 0.210 0.261 0.000 0.316 10.116

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

41 41 75 49 54 84 0 108 108

N.S.

1 1.00 1.83 1.20 1.32 2.05 0.00 2.63 2.63

time (sec)

N/A 0.235 0.019 0.174 0.288 0.280 0.000 0.460 9.927

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 54 109 70 66 114 0 95 145

N.S.

1 1.04 2.10 1.35 1.27 2.19 0.00 1.83 2.79

time (sec)

N/A 0.390 0.126 0.183 0.291 0.281 0.000 0.380 9.298

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 53 95 72 61 119 0 115 111

N.S.

1 1.02 1.83 1.38 1.17 2.29 0.00 2.21 2.13

time (sec)

N/A 0.405 0.015 0.181 0.209 0.261 0.000 0.446 9.743

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 135 90 80 137 0 116 112

N.S.

1 1.07 1.82 1.22 1.08 1.85 0.00 1.57 1.51

time (sec)

N/A 0.511 0.153 0.171 0.213 0.283 0.000 0.448 9.546

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 93 177 110 92 169 0 144 143

N.S.

1 1.03 1.97 1.22 1.02 1.88 0.00 1.60 1.59

time (sec)

N/A 0.565 0.173 0.245 0.242 0.275 0.000 0.641 9.873

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

135 135 86 89 105 98 275 123 331

N.S.

1 1.00 0.64 0.66 0.78 0.73 2.04 0.91 2.45

time (sec)

N/A 0.442 0.314 0.309 0.212 0.279 0.490 0.365 13.959

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

103 106 76 76 93 85 309 106 257

N.S.

1 1.03 0.74 0.74 0.90 0.83 3.00 1.03 2.50

time (sec)

N/A 0.517 5.745 0.230 0.208 0.274 0.368 0.354 13.088

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 111 57 56 69 72 172 72 262

N.S.

1 1.22 0.63 0.62 0.76 0.79 1.89 0.79 2.88

time (sec)

N/A 0.500 0.137 0.182 0.204 0.254 0.235 0.326 12.736

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 71 71 57 75 86 0 101 188

N.S.

1 1.00 1.00 0.80 1.06 1.21 0.00 1.42 2.65

time (sec)

N/A 0.315 5.418 0.175 0.214 0.277 0.000 0.320 9.734

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 78 94 80 79 105 0 143 201

N.S.

1 1.05 1.27 1.08 1.07 1.42 0.00 1.93 2.72

time (sec)

N/A 0.294 0.290 0.181 0.281 0.265 0.000 0.338 9.829

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 77 102 103 104 143 0 128 213

N.S.

1 1.05 1.40 1.41 1.42 1.96 0.00 1.75 2.92

time (sec)

N/A 0.317 0.701 0.278 0.290 0.279 0.000 0.343 9.491

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

73 73 140 97 83 166 0 141 193

N.S.

1 1.00 1.92 1.33 1.14 2.27 0.00 1.93 2.64

time (sec)

N/A 0.394 0.582 0.192 0.308 0.275 0.000 0.354 9.446

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 82 209 120 130 155 0 164 161

N.S.

1 1.00 2.55 1.46 1.59 1.89 0.00 2.00 1.96

time (sec)

N/A 0.393 0.228 0.309 0.206 0.276 0.000 0.359 9.269

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 189 120 109 189 0 164 160

N.S.

1 1.00 1.89 1.20 1.09 1.89 0.00 1.64 1.60

time (sec)

N/A 0.400 6.209 0.253 0.209 0.265 0.000 0.360 9.560

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 229 168 187 227 0 228 339

N.S.

1 1.00 1.85 1.35 1.51 1.83 0.00 1.84 2.73

time (sec)

N/A 0.436 6.189 0.359 0.213 0.261 0.000 0.380 11.022

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 132 86 89 129 98 379 123 331

N.S.

1 1.00 0.65 0.67 0.98 0.74 2.87 0.93 2.51

time (sec)

N/A 0.482 6.943 0.341 0.195 0.270 0.498 0.515 13.564

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 145 76 78 106 85 328 106 349

N.S.

1 1.24 0.65 0.67 0.91 0.73 2.80 0.91 2.98

time (sec)

N/A 0.634 0.222 0.298 0.227 0.284 0.355 0.440 11.778

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 99 82 67 99 101 0 144 244

N.S.

1 1.00 0.83 0.68 1.00 1.02 0.00 1.45 2.46

time (sec)

N/A 0.354 6.467 0.247 0.211 0.305 0.000 0.488 11.433

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 96 106 94 93 121 0 162 264

N.S.

1 1.04 1.15 1.02 1.01 1.32 0.00 1.76 2.87

time (sec)

N/A 0.325 0.604 0.248 0.282 0.293 0.000 0.454 9.577

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 102 112 130 124 159 0 184 259

N.S.

1 1.04 1.14 1.33 1.27 1.62 0.00 1.88 2.64

time (sec)

N/A 0.347 0.766 0.288 0.287 0.306 0.000 0.741 9.763

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 95 148 125 117 180 0 161 249

N.S.

1 1.04 1.63 1.37 1.29 1.98 0.00 1.77 2.74

time (sec)

N/A 0.354 0.738 0.265 0.284 0.286 0.000 0.382 9.285

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 133 96 147 190 0 174 237

N.S.

1 1.00 1.33 0.96 1.47 1.90 0.00 1.74 2.37

time (sec)

N/A 0.394 0.588 0.257 0.283 0.287 0.000 0.373 9.967

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 100 267 146 155 190 0 196 291

N.S.

1 1.00 2.67 1.46 1.55 1.90 0.00 1.96 2.91

time (sec)

N/A 0.415 0.274 0.296 0.195 0.289 0.000 0.406 10.394

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 124 252 172 200 227 0 228 339

N.S.

1 1.00 2.03 1.39 1.61 1.83 0.00 1.84 2.73

time (sec)

N/A 0.464 8.412 0.342 0.213 0.287 0.000 0.393 10.450

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 147 151 76 128 85 381 106 349

N.S.

1 1.07 1.10 0.55 0.93 0.62 2.78 0.77 2.55

time (sec)

N/A 0.622 0.317 0.293 0.194 0.281 0.374 0.360 11.833

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

117 117 95 79 125 115 0 181 295

N.S.

1 1.00 0.81 0.68 1.07 0.98 0.00 1.55 2.52

time (sec)

N/A 0.392 6.053 0.279 0.194 0.301 0.000 0.423 11.183

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 120 136 119 117 135 0 194 295

N.S.

1 1.03 1.17 1.03 1.01 1.16 0.00 1.67 2.54

time (sec)

N/A 0.355 0.881 0.262 0.277 0.274 0.000 0.399 9.120

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 94 281 67 258 68 1360 114 107

N.S.

1 0.90 2.70 0.64 2.48 0.65 13.08 1.10 1.03

time (sec)

N/A 0.443 3.974 0.236 0.280 0.266 11.687 0.338 13.083

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

87 84 271 56 237 58 1049 114 79

N.S.

1 0.97 3.11 0.64 2.72 0.67 12.06 1.31 0.91

time (sec)

N/A 0.437 1.430 0.207 0.294 0.276 6.696 0.309 9.622

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 56 46 45 156 45 563 75 66

N.S.

1 0.90 0.74 0.73 2.52 0.73 9.08 1.21 1.06

time (sec)

N/A 0.360 0.194 0.167 0.286 0.261 3.688 0.433 11.988

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A B A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

45 45 161 32 133 34 366 72 33

N.S.

1 1.00 3.58 0.71 2.96 0.76 8.13 1.60 0.73

time (sec)

N/A 0.299 0.379 0.140 0.292 0.279 1.889 0.390 9.622

[next] [prev] [prev-tail] [front] [up]